3-regular three-XORSAT planted solutions benchmark of classical and quantum heuristic optimizers
نویسندگان
چکیده
Abstract With current semiconductor technology reaching its physical limits, special-purpose hardware has emerged as an option to tackle specific computing-intensive challenges. Optimization in the form of solving quadratic unconstrained binary optimization problems, or equivalently Ising spin glasses, been focus several new dedicated platforms. These platforms come many different flavors, from highly-efficient implementations on digital-logic established algorithms proposals analog implementing algorithms. In this work, we use a mapping class linear equations whose solutions can be found efficiently, hard constraint satisfaction problem (three-regular three-XORSAT, glass) with ‘golf-course’ shaped energy landscape, benchmark these approaches. We perform scaling and prefactor analysis performance Fujitsu’s digital annealer unit (DAU), D-Wave advantage quantum annealer, virtual MemComputing machine, Toshiba’s simulated bifurcation machine (SBM), SATonGPU algorithm Bernaschi et al , our implementation parallel tempering. identify DAU currently having smallest exponent for benchmark, small addition by far thanks massive parallelism. Our work provides objective assessment snapshot promise limitations relative particular problems.
منابع مشابه
Further Investigations into Regular XORSAT
Recent years have witnessed rapid progress both in the foundations of and in applying state-of-art solvers for the propositional satisfiability problem (SAT). The study of sources for hard SAT instances is motivated by the need for interesting benchmarks for solver development and on the other hand by theoretical analysis of different proof systems. In this respect satisfiable instance families...
متن کاملThe set of solutions of random XORSAT formulae
The XOR-satisfiability (XORSAT) problem requires finding an assignment of n Boolean variables that satisfym exclusive OR (XOR) clauses, whereby each clause constrains a subset of the variables. We consider random XORSAT instances, drawn uniformly at random from the ensemble of formulae containing n variables and m clauses of size k. This model presents several structural similarities to other e...
متن کاملOn the Spine of 3-xorsat
The spine of a constraint satisfaction formula is the set of variables which are forced to take on only one value by some subformula. Introduced as a tool to study resolution complexity, it has applications in analyzing algorithms on CSPs as well as the structure of random formulas. We show that the spine of 3-XORSAT exhibits a sharp threshold at the point where satisfiability does; the size of...
متن کاملVibrational Energy Relaxation: A Benchmark for Mixed Quantum-Classical Methods.
We investigate the ability of mixed quantum-classical methods to capture the dynamics of vibrational energy relaxation. Several methods, including surface hopping, and Ehrenfest and symmetrical quasiclassical (SQC) dynamics, are benchmarked for the exactly solvable model problem of a harmonic oscillator bilinearly coupled to a bath of harmonic oscillators. Results show that, very often, one can...
متن کاملAlternative solutions to diluted p-spin models and XORSAT problems
We derive analytical solutions for p-spin models with finite connectivity at zero temperature. These models are the statistical mechanics equivalent of p-XORSAT problems in theoretical computer science. We give a full characterization of the phase diagram: location of the phase transitions (static and dynamic), together with a description of the clustering phenomenon taking place in configurati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Quantum science and technology
سال: 2022
ISSN: ['2364-9054', '2364-9062']
DOI: https://doi.org/10.1088/2058-9565/ac4d1b